Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
81	Computation Power of Randomization and Nondeterminism 2 Scientific Work Add to Reading List Source URL: www.ite.ethz.ch Language: English - Date: 2008-10-23 07:54:38 Complexity classes Computational complexity theory Finite automata Models of computation Analysis of algorithms Nondeterminism NL Randomized algorithm Automata theory Theory of computation Communication complexity NP
82	1 Capacity and Expressiveness of Genomic Tandem Duplication Siddharth Jain Electrical Engineering Add to Reading List Source URL: paradise.caltech.edu Language: English - Date: 2015-09-25 15:23:26 Formal languages Combinatorics Combinatorics on words Mathematics Discrete mathematics Finite automata String Alphabet Regular expression Regular language Tandem Computers
83	Problems: Finite Automata [ Sipser/Chapter 2; HU/Chapters 2–Construct a DFA and a regular expression for the following languages over {0, 1}. Add to Reading List Source URL: www.isical.ac.in - Date: 2013-02-07 10:21:34
84	The validity of weighted automata (Fragments) Sylvain Lombardy LABRI, Universit´e de Bordeaux Jacques Sakarovitch Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 15:06:31 Finite automata Automaton Finite-state transducer Bchi automaton
85	Groups and Graphs, Algorithms and Automata Plenary Talks Finite dimensional irreducible representations of the TD-algebra Tatsuro Ito Add to Reading List Source URL: g2a2.imm.uran.ru Language: English - Date: 2015-07-13 06:45:45
86	日本ソフトウェア科学会第 22 回大会（2005 年度）論文集 1 一次元セルオートマトンの有限近似解析 Finite Approximation Analysis of One Dimensional Cellular Automata Add to Reading List Source URL: www.nue.riec.tohoku.ac.jp Language: Japanese - Date: 2005-08-29 03:29:33
87	Requirement Enforcement by Transformation Automata Douglas R. Smith Kestrel Institute 3260 Hillview Avenue Palo Alto, CaliforniaUSA Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2012-08-02 20:33:11 Formal methods Logic in computer science Theoretical computer science Refinement Predicate transformer semantics Postcondition Program transformation Finite-state machine Invariant Formal verification Aspect-oriented software development Precondition
88	PDF Document Add to Reading List Source URL: highlights-conference.org Language: English - Date: 2013-09-18 06:35:48 Finite automata Bchi automaton
89	PDF Document Add to Reading List Source URL: www.math.stevens.edu Language: English - Date: 2005-01-29 09:36:32 Finite automata Formal languages Regular language Tree Theoretical computer science Mathematics Finite-state transducer Discrete mathematics Orbifold
90	PDF Document Add to Reading List Source URL: akira.ruc.dk Language: English - Date: 2014-10-12 12:01:50 Finite automata Tree automaton Tree Formal languages Model checking